Bootstrapping a Compiler for an Equation-Based Object-Oriented Language
نویسندگان
چکیده
منابع مشابه
Bootstrapping a Compiler for an Equation-Based Object-Oriented Language
What does it mean to bootstrap a compiler, and why do it? This paper reports on the first bootstrapping of a full-scale EOO (Equation-based Object-Oriented) modeling language such as Modelica. Bootstrapping means that the compiler of a language can compile itself. However, the usual application area for the Modelica is modeling and simulation of complex physical systems. Fortunately it turns ou...
متن کاملGrowing an Equation-based Object-oriented Modeling Language
Equation-based object-oriented (EOO) modeling languages are typically rather complex. Such languages can unfortunately not be designed correctly once and for all, not least because all requirements and use cases are not known initially, and may never be known completely. Hence, there is a need to plan for modeling languages to grow in a sound manner. This paper discusses and analyzes how EOO la...
متن کاملA Verifying Compiler for a Multi-threaded Object-Oriented Language
A verifying compiler automatically verifies the correctness of a source program before compiling it. Founded on the definition of the source language and a set of rules (a methodology) for using the language, the program’s correctness criteria and correctness argument are provided in the program text by interface specifications and invariants. This paper describes the program-verifier component...
متن کاملYes! an Object-oriented Compiler Compiler (yoocc)
Grammar-based processor 1 generation is one of the most widely studied areas in processor con-have been very few approaches to date that reconcile object-oriented principles, processor generation , and an object-oriented language. Pertinent here also, is that currently to develop a processor using the Eiiel Parse libraries requires far too much time to be expended on tasks that can be automated...
متن کاملMulti-Paradigm Language Engineering and Equation-Based Object-Oriented Languages
Models are invariably used in Engineering (for design) and Science (for analysis) to precisely describe structure as well as behaviour of systems. Models may have components described in different formalisms, and may span different levels of abstraction. In addition, models are frequently transformed into domains/formalisms where certain questions can be easily answered. We introduce the term “...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modeling, Identification and Control: A Norwegian Research Bulletin
سال: 2014
ISSN: 0332-7353,1890-1328
DOI: 10.4173/mic.2014.1.1